2

Verify: A program for proving correctness of digital hardware designs

Year:
1984
Language:
english
File:
PDF, 2.35 MB
english, 1984
3

Retrospective on “Interpreting line drawings as three-dimensional surfaces”

Year:
1993
Language:
english
File:
PDF, 568 KB
english, 1993
23

Observations on the electronic spectrum of gaseous FeO

Year:
1980
Language:
english
File:
PDF, 410 KB
english, 1980
27

Interviewed for Expert Systems by Kenneth Owen

Year:
1990
Language:
english
File:
PDF, 481 KB
english, 1990
35

Artificial Intelligence || Connectionism and Neural Networks

Year:
1996
Language:
english
File:
PDF, 964 KB
english, 1996
39

Late presentations of minor head injury

Year:
2012
Language:
english
File:
PDF, 130 KB
english, 2012
40

A Self-Organizing Model of “Color Blob” Formation

Year:
1996
Language:
english
File:
PDF, 3.13 MB
english, 1996
41

The Role of Weight Normalization in Competitive Learning

Year:
1994
Language:
english
File:
PDF, 594 KB
english, 1994
42

A stable two-transistor oscillator for displacement measurements

Year:
1962
Language:
english
File:
PDF, 171 KB
english, 1962